Real-time computing - PDFSEARCH.IO - Document Search Engine

Real-time computing
Results: 3077

#	Item
31	Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2016-04-05 14:57:15 Software Computing Real-time computing Worst-case execution time Simulink French Institute for Research in Computer Science and Automation Xavier Leroy AbsInt
32	QNX_Subsidiary_Logo_Primary_KO Add to Reading List Source URL: www.qnx.com Language: English - Date: 2016-07-20 14:33:52 Computer architecture Software Computing Safety Embedded operating systems Real-time operating systems Computing platforms Mobile operating systems QNX Functional safety Kernel IEC 61508
33	Developing the NYPD’s Information Technology “The democratization of data has become the central theme of the NYPD’s technology planning and future: the concept of placing information, real-time analysis, and intel Add to Reading List Source URL: www.nyc.gov Language: English - Date: 2015-06-25 12:31:37 New York City Police Department Law enforcement Security Computing Real Time Crime Center Raymond Kelly CompStat Closed-circuit television Data center 1 Police Plaza Area Police/Private Security Liaison Data warehouse
34	REAL TIME FILTERING FROM THE CLOUD Today’s complex IT environment requires effective, always-on content filtering and security for all your students, devices and locations. Tru-View Cloud from Bloxx combines our on pre Add to Reading List Source URL: www.bloxx.com Language: English - Date: 2015-07-30 11:07:39 Content-control software Computing Software Digital rights management Internet censorship Email filtering Utility software
35	FMTV CHALLENGE Rafik HENIA, Laurent RIOUX Thales Research & Technology France FMTV CHALLENGE Add to Reading List Source URL: www.control.lth.se Language: English - Date: 2015-07-09 04:08:01 Real-time computing Worst-case execution time FMTV BCET Video tracking Technology
36	RTCSA NVMSA IWMSA Program Wanyou Conifer Hotel, Chongqing, China Aug.20 (WED) International Convention Hall Add to Reading List Source URL: www.comp.hkbu.edu.hk Language: English - Date: 2015-02-11 02:42:42 Computing Technology Embedded systems Real-time computing Ying Lu Worst-case execution time Session Computer Scheduling
37	Tiramisu: Information from Live Data Streams FINAL RESEARCH REPORT Anthony Tomasic (PI), Joseph Giampapa (principle author), Steven Gardiner, Sophia Deng, Aaron Add to Reading List Source URL: utc.ices.cmu.edu Language: English - Date: 2016-03-31 19:00:20 Software Transport Computing Transportation in New York City Metropolitan Transportation Authority Microblogging Real-time web Text messaging Twitter Port Authority of Allegheny County Public transport New York City Transit Authority
38	InspectRTCM The InspectRTCM software allows content analysis and verification of different GNSS real-time data streams. The data formats currently supported are: RTCM 2.x, RTCM 3.x, CMR and CMR+. The InspectRTCM tool sh Add to Reading List Source URL: www.alberding.eu Language: English - Date: 2016-07-28 05:09:40 Global Positioning System Networked Transport of RTCM via Internet Protocol Computing Computer networking Caster Proxy server Technology
39	Using C Language Extensions for Developing Embedded Software: A Case Study Markus Voelter Arie van Deursen Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Computing Software Embedded system Unit testing Formal verification Interrupt Actor model Operating system Component-based software engineering C Real-time operating system
40	Digital media company uses big data to drive more revenue from real-time ad auctions Add to Reading List Source URL: thinkbiganalytics.com Language: English - Date: 2016-06-06 18:10:01 Computing Marketing Data Internet advertising Data management Big data Technology forecasting Transaction processing Real-time bidding Apache Hadoop Real-time data Teradata